EXECUTED_PROGRAM

ret > ExitSuccess
out > test/Compiler/simple/uncons.agda
